Preprocessing and Regularization for Degenerate Semidefinite Programs

نویسندگان

  • Yuen-Lam Cheung
  • Simon Schurr
  • Henry Wolkowicz
چکیده

This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which the Slater constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require the Slater constraint qualification for both the 9 primal and dual problems. This assumption guarantees the existence of Lagrange multipliers, 10 well-posedness of the problem, and stability of algorithms. However, there are many instances 11 of SDPs where the Slater constraint qualification fails or nearly fails. Our backward stable 12 preprocessing technique is based on applying the Borwein-Wolkowicz facial reduction process 13 to find a finite number, k, of rank-revealing orthogonal rotations of the problem. After an 14 appropriate truncation, this results in a smaller, well-posed, nearby problem that satisfies the 15 Robinson constraint qualification, and one that can be solved by standard SDP solvers. The 16 case k = 1 is of particular interest and is characterized by strict complementarity of an auxiliary 17 problem. 18

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Preprocessing and Reduction for Degenerate Semidefinite Programs

4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s con...

متن کامل

Preprocessing sparse semidefinite programs via matrix completion

Considering that preprocessing is an important phase in linear programming, it should be systematically more incorporated in semidefinite programming solvers. The conversion method proposed by the authors (SIAM Journal on Optimization, vol. 11, pp. 647–674, 2000, and Mathematical Programming, Series B, vol. 95, pp. 303–327, 2003) is a preprocessing of sparse semidefinite programs based on matri...

متن کامل

Exact Regularization of Convex Programs

The regularization of a convex program is exact if all solutions of the regularized problem are also solutions of the original problem for all values of the regularization parameter below some positive threshold. For a general convex program, we show that the regularization is exact if and only if a certain selection problem has a Lagrange multiplier. Moreover, the regularization parameter thre...

متن کامل

Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities

In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numeri...

متن کامل

Exact algorithms for semidefinite programs with degenerate feasible set

Let A0, . . . , An be m × m symmetric matrices with entries in Q, and let A(x) be the linear pencil A0 + x1A1 + · · · + xnAn, where x = (x1, . . . , xn) are unknowns. The linear matrix inequality (LMI) A(x) 0 defines the subset of Rn, called spectrahedron, containing all points x such that A(x) has non-negative eigenvalues. The minimization of linear functions over spectrahedra is called semide...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012